prove ab inverse equals b inverse a inverse